كورت غودل أمثلة على

• كورت غودل, وضع صيغة نظرية( عدم الأكتمال
• كورت غودل, وضع صيغة نظرية( عدم الأكتمال
• أثبت كورت غودل في عام 1930 أن هذه القواعد كافية لإنتاج أية مبرهنة.
• الأسس الرياضية لعلم الحاسوب الحديث بدأت في الإرساء علي يد كورت غودل من خلال مبرهنة عدم الاكتمال لغودل في عام 1931.
• بالإضافة إليهم، كان علماء الأحياء جريجور مندل وكونراد لورنز، وكذلك الرياضيات كورت غودل والمهندسين مثل فرديناند بورشه وسيغفريد ماركوس النمساويين.
• وقد تأثر بشدة عمل كل من المؤلفين بالعمل السابق لكورت غودل في نظريته عدم الاكتمال وخاصة من خلال طريقة تعيين أرقام (ترقيم غودل) لصيغ منطقية من أجل تقليل المنطق للحساب.